free{-}from{-}atom\{\$n\}($T$;$x$;$a$) \textbf{is Primitive}